Optimal. Leaf size=392 \[ -\frac {\sqrt [4]{c} \sqrt {1-\frac {d x^2}{c}} (b c-a d) \Pi \left (-\frac {\sqrt {b} \sqrt {c}}{\sqrt {a} \sqrt {d}};\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a^{3/2} \sqrt {b} \sqrt [4]{d} e^{3/2} \sqrt {c-d x^2}}+\frac {\sqrt [4]{c} \sqrt {1-\frac {d x^2}{c}} (b c-a d) \Pi \left (\frac {\sqrt {b} \sqrt {c}}{\sqrt {a} \sqrt {d}};\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a^{3/2} \sqrt {b} \sqrt [4]{d} e^{3/2} \sqrt {c-d x^2}}+\frac {2 c^{3/4} \sqrt [4]{d} \sqrt {1-\frac {d x^2}{c}} F\left (\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a e^{3/2} \sqrt {c-d x^2}}-\frac {2 c^{3/4} \sqrt [4]{d} \sqrt {1-\frac {d x^2}{c}} E\left (\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a e^{3/2} \sqrt {c-d x^2}}-\frac {2 \sqrt {c-d x^2}}{a e \sqrt {e x}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.72, antiderivative size = 392, normalized size of antiderivative = 1.00, number of steps used = 15, number of rules used = 12, integrand size = 30, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.400, Rules used = {466, 475, 584, 307, 224, 221, 1200, 1199, 424, 490, 1219, 1218} \[ -\frac {\sqrt [4]{c} \sqrt {1-\frac {d x^2}{c}} (b c-a d) \Pi \left (-\frac {\sqrt {b} \sqrt {c}}{\sqrt {a} \sqrt {d}};\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a^{3/2} \sqrt {b} \sqrt [4]{d} e^{3/2} \sqrt {c-d x^2}}+\frac {\sqrt [4]{c} \sqrt {1-\frac {d x^2}{c}} (b c-a d) \Pi \left (\frac {\sqrt {b} \sqrt {c}}{\sqrt {a} \sqrt {d}};\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a^{3/2} \sqrt {b} \sqrt [4]{d} e^{3/2} \sqrt {c-d x^2}}+\frac {2 c^{3/4} \sqrt [4]{d} \sqrt {1-\frac {d x^2}{c}} F\left (\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a e^{3/2} \sqrt {c-d x^2}}-\frac {2 c^{3/4} \sqrt [4]{d} \sqrt {1-\frac {d x^2}{c}} E\left (\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a e^{3/2} \sqrt {c-d x^2}}-\frac {2 \sqrt {c-d x^2}}{a e \sqrt {e x}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 221
Rule 224
Rule 307
Rule 424
Rule 466
Rule 475
Rule 490
Rule 584
Rule 1199
Rule 1200
Rule 1218
Rule 1219
Rubi steps
\begin {align*} \int \frac {\sqrt {c-d x^2}}{(e x)^{3/2} \left (a-b x^2\right )} \, dx &=\frac {2 \operatorname {Subst}\left (\int \frac {\sqrt {c-\frac {d x^4}{e^2}}}{x^2 \left (a-\frac {b x^4}{e^2}\right )} \, dx,x,\sqrt {e x}\right )}{e}\\ &=-\frac {2 \sqrt {c-d x^2}}{a e \sqrt {e x}}+\frac {2 \operatorname {Subst}\left (\int \frac {x^2 \left (\frac {b c-2 a d}{e^2}+\frac {b d x^4}{e^4}\right )}{\left (a-\frac {b x^4}{e^2}\right ) \sqrt {c-\frac {d x^4}{e^2}}} \, dx,x,\sqrt {e x}\right )}{a e}\\ &=-\frac {2 \sqrt {c-d x^2}}{a e \sqrt {e x}}+\frac {2 \operatorname {Subst}\left (\int \left (-\frac {d x^2}{e^2 \sqrt {c-\frac {d x^4}{e^2}}}+\frac {(b c-a d) x^2}{e^2 \left (a-\frac {b x^4}{e^2}\right ) \sqrt {c-\frac {d x^4}{e^2}}}\right ) \, dx,x,\sqrt {e x}\right )}{a e}\\ &=-\frac {2 \sqrt {c-d x^2}}{a e \sqrt {e x}}-\frac {(2 d) \operatorname {Subst}\left (\int \frac {x^2}{\sqrt {c-\frac {d x^4}{e^2}}} \, dx,x,\sqrt {e x}\right )}{a e^3}+\frac {(2 (b c-a d)) \operatorname {Subst}\left (\int \frac {x^2}{\left (a-\frac {b x^4}{e^2}\right ) \sqrt {c-\frac {d x^4}{e^2}}} \, dx,x,\sqrt {e x}\right )}{a e^3}\\ &=-\frac {2 \sqrt {c-d x^2}}{a e \sqrt {e x}}+\frac {\left (2 \sqrt {c} \sqrt {d}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {c-\frac {d x^4}{e^2}}} \, dx,x,\sqrt {e x}\right )}{a e^2}-\frac {\left (2 \sqrt {c} \sqrt {d}\right ) \operatorname {Subst}\left (\int \frac {1+\frac {\sqrt {d} x^2}{\sqrt {c} e}}{\sqrt {c-\frac {d x^4}{e^2}}} \, dx,x,\sqrt {e x}\right )}{a e^2}+\frac {(b c-a d) \operatorname {Subst}\left (\int \frac {1}{\left (\sqrt {a} e-\sqrt {b} x^2\right ) \sqrt {c-\frac {d x^4}{e^2}}} \, dx,x,\sqrt {e x}\right )}{a \sqrt {b} e}-\frac {(b c-a d) \operatorname {Subst}\left (\int \frac {1}{\left (\sqrt {a} e+\sqrt {b} x^2\right ) \sqrt {c-\frac {d x^4}{e^2}}} \, dx,x,\sqrt {e x}\right )}{a \sqrt {b} e}\\ &=-\frac {2 \sqrt {c-d x^2}}{a e \sqrt {e x}}+\frac {\left (2 \sqrt {c} \sqrt {d} \sqrt {1-\frac {d x^2}{c}}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {1-\frac {d x^4}{c e^2}}} \, dx,x,\sqrt {e x}\right )}{a e^2 \sqrt {c-d x^2}}-\frac {\left (2 \sqrt {c} \sqrt {d} \sqrt {1-\frac {d x^2}{c}}\right ) \operatorname {Subst}\left (\int \frac {1+\frac {\sqrt {d} x^2}{\sqrt {c} e}}{\sqrt {1-\frac {d x^4}{c e^2}}} \, dx,x,\sqrt {e x}\right )}{a e^2 \sqrt {c-d x^2}}+\frac {\left ((b c-a d) \sqrt {1-\frac {d x^2}{c}}\right ) \operatorname {Subst}\left (\int \frac {1}{\left (\sqrt {a} e-\sqrt {b} x^2\right ) \sqrt {1-\frac {d x^4}{c e^2}}} \, dx,x,\sqrt {e x}\right )}{a \sqrt {b} e \sqrt {c-d x^2}}-\frac {\left ((b c-a d) \sqrt {1-\frac {d x^2}{c}}\right ) \operatorname {Subst}\left (\int \frac {1}{\left (\sqrt {a} e+\sqrt {b} x^2\right ) \sqrt {1-\frac {d x^4}{c e^2}}} \, dx,x,\sqrt {e x}\right )}{a \sqrt {b} e \sqrt {c-d x^2}}\\ &=-\frac {2 \sqrt {c-d x^2}}{a e \sqrt {e x}}+\frac {2 c^{3/4} \sqrt [4]{d} \sqrt {1-\frac {d x^2}{c}} F\left (\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a e^{3/2} \sqrt {c-d x^2}}-\frac {\sqrt [4]{c} (b c-a d) \sqrt {1-\frac {d x^2}{c}} \Pi \left (-\frac {\sqrt {b} \sqrt {c}}{\sqrt {a} \sqrt {d}};\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a^{3/2} \sqrt {b} \sqrt [4]{d} e^{3/2} \sqrt {c-d x^2}}+\frac {\sqrt [4]{c} (b c-a d) \sqrt {1-\frac {d x^2}{c}} \Pi \left (\frac {\sqrt {b} \sqrt {c}}{\sqrt {a} \sqrt {d}};\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a^{3/2} \sqrt {b} \sqrt [4]{d} e^{3/2} \sqrt {c-d x^2}}-\frac {\left (2 \sqrt {c} \sqrt {d} \sqrt {1-\frac {d x^2}{c}}\right ) \operatorname {Subst}\left (\int \frac {\sqrt {1+\frac {\sqrt {d} x^2}{\sqrt {c} e}}}{\sqrt {1-\frac {\sqrt {d} x^2}{\sqrt {c} e}}} \, dx,x,\sqrt {e x}\right )}{a e^2 \sqrt {c-d x^2}}\\ &=-\frac {2 \sqrt {c-d x^2}}{a e \sqrt {e x}}-\frac {2 c^{3/4} \sqrt [4]{d} \sqrt {1-\frac {d x^2}{c}} E\left (\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a e^{3/2} \sqrt {c-d x^2}}+\frac {2 c^{3/4} \sqrt [4]{d} \sqrt {1-\frac {d x^2}{c}} F\left (\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a e^{3/2} \sqrt {c-d x^2}}-\frac {\sqrt [4]{c} (b c-a d) \sqrt {1-\frac {d x^2}{c}} \Pi \left (-\frac {\sqrt {b} \sqrt {c}}{\sqrt {a} \sqrt {d}};\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a^{3/2} \sqrt {b} \sqrt [4]{d} e^{3/2} \sqrt {c-d x^2}}+\frac {\sqrt [4]{c} (b c-a d) \sqrt {1-\frac {d x^2}{c}} \Pi \left (\frac {\sqrt {b} \sqrt {c}}{\sqrt {a} \sqrt {d}};\left .\sin ^{-1}\left (\frac {\sqrt [4]{d} \sqrt {e x}}{\sqrt [4]{c} \sqrt {e}}\right )\right |-1\right )}{a^{3/2} \sqrt {b} \sqrt [4]{d} e^{3/2} \sqrt {c-d x^2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.13, size = 143, normalized size = 0.36 \[ \frac {x \left (14 x^2 \sqrt {1-\frac {d x^2}{c}} (b c-2 a d) F_1\left (\frac {3}{4};\frac {1}{2},1;\frac {7}{4};\frac {d x^2}{c},\frac {b x^2}{a}\right )+6 b d x^4 \sqrt {1-\frac {d x^2}{c}} F_1\left (\frac {7}{4};\frac {1}{2},1;\frac {11}{4};\frac {d x^2}{c},\frac {b x^2}{a}\right )-42 a \left (c-d x^2\right )\right )}{21 a^2 (e x)^{3/2} \sqrt {c-d x^2}} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
fricas [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int -\frac {\sqrt {-d x^{2} + c}}{{\left (b x^{2} - a\right )} \left (e x\right )^{\frac {3}{2}}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.06, size = 1274, normalized size = 3.25 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ -\int \frac {\sqrt {-d x^{2} + c}}{{\left (b x^{2} - a\right )} \left (e x\right )^{\frac {3}{2}}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {\sqrt {c-d\,x^2}}{{\left (e\,x\right )}^{3/2}\,\left (a-b\,x^2\right )} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ - \int \frac {\sqrt {c - d x^{2}}}{- a \left (e x\right )^{\frac {3}{2}} + b x^{2} \left (e x\right )^{\frac {3}{2}}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________